Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Header (Preliminary Version)
نویسندگان
چکیده
We define a class of algebraic structures for the interpretation of tabular notations common in software requirements documentation and show how to use table algebra homomorphisms to define staged table semantics, translation between different kinds of tables, and table transformation. An important advantage of this approach is that it covers the practically important use of nested headers in a natural way.
منابع مشابه
Directions in Recognizing Tabular Structures of Handwritten Mathematics Notation
Mathematics notation contains a variety of tabular structures, including matrices, lists of expressions in a derivation, stacked limit expressions in a summation, and conditional expressions in a function definition. Tabular structures are particularly difficult to recognize in handwritten mathematics notation, due to irregular placement and sizing of symbols. In this paper we briefly survey pr...
متن کاملRemarks to the Tabular Aspects of XML
The paper presents a tabular view to XML-data, which in our opinion better suits to the enduser. We believe that we can realize more userfriendly operation on this algebraic specification. The specification is based on four generating operations. 1. pair of two tables (documents) 2. add (adding an element to a collection) 3. tag0 (putting a tag n on a table t with dtd(n)=head(t)) 4. alternate (...
متن کاملTensors, !-graphs, and non-commutative quantum structures (extended version)
-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf algebras, Frobenius algebras, and compositions thereof. However, they have previously been limited by an inability to express families of diagrams involving non-commutative structures which play a central role in algebraic quantum informati...
متن کاملDeformation Theory (lecture Notes) Notes, Taken by Martin Doubek and Petr Zima, from a Course Given
First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation between deformations and solutions of the corresponding Maurer-Cartan equation. In Section 6 we generalize the Maurer-Cartan equation to strongly homotopy Li...
متن کاملAcademy of Sciences of the Czech Republic
First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation between deformations and solutions of the corresponding Maurer-Cartan equation. In Section 6 we generalize the Maurer-Cartan equation to strongly homotopy Li...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004